covariant position
positive position とも．
https://www.schoolofhaskell.com/user/commercial/content/covariance-contravariance